-
1 квантор общности
1. universal quantifierвсеобщий квантор, квантор общности — universal quantifier
2. generality quantifierРусско-английский большой базовый словарь > квантор общности
-
2 квантор общности
[lang name="Russian"]всеобщий квантор, квантор общности — universal quantifier
-
3 квантор общности
всеобщий квантор, квантор общности — universal quantifier
Русско-английский новый политехнический словарь > квантор общности
-
4 квантор общности
всеобщий квантор, квантор общности — universal quantifier
Русско-английский словарь по информационным технологиям > квантор общности
-
5 квантор общности
-
6 квантор общности
Mathematics: generality quantifier, universal quantifier -
7 квантор общности
Русско-английский словарь по машиностроению > квантор общности
-
8 квантор общности
-
9 квантор общности
generality [universal] quantifierРусско-английский политехнический словарь > квантор общности
-
10 квантор
м. мат. quantifierвсеобщий квантор, квантор общности — universal quantifier
-
11 квантор
1. quantifier[lang name="Russian"]всеобщий квантор, квантор общности — universal quantifier
2. quantor -
12 квантор
всеобщий квантор, квантор общности — universal quantifier
Русско-английский словарь по информационным технологиям > квантор
-
13 квантор
1) quantifier
2) quantor
– квантор общности
– квантор существования
– навешивать квантор
– ограниченный квантор -
14 ограниченный квантор
всеобщий квантор, квантор общности — universal quantifier
Русско-английский большой базовый словарь > ограниченный квантор
-
15 ограниченный квантор
[lang name="Russian"]всеобщий квантор, квантор общности — universal quantifier
-
16 без ограничения общности
Русско-английский научный словарь > без ограничения общности
-
17 без потери общности
-
18 без ограничения общности
Русско-английский новый политехнический словарь > без ограничения общности
-
19 без ограничения общности
Русско-английский словарь по информационным технологиям > без ограничения общности
-
20 без потери общности
Русско-английский словарь по информационным технологиям > без потери общности
- 1
- 2
См. также в других словарях:
Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
квантор общности — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
Квантор — (от лат. quantum сколько) символ, используемый для обозначения некоторых операций математической логики, одновременно логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в… … Начала современного естествознания
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… … Философская энциклопедия
Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… … Большая советская энциклопедия
ОБЩНОСТИ КВАНТОР — то же, что всеобщности квантор … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
оператор — (от лат. operator действующий) одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером… … Словарь терминов логики
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия